#include <display.h>
#include <sys_call.h>

void hello(int argc, char **argv)
{
	char * str = "haha, the first real user process!\n";
	int i;
	printf(str);

	printf("argc: %d\n", argc);
	for(i = 0; i < argc; i++)
		printf("%s, ", argv[i]);
	printf("\n");
}

int _start(int argc, char **argv)
{
	hello(argc, argv);
	/* We should call sys_exit() here explicitly. */
	sys_exit(0);
}
